The idea of a monadic value is introduced, which has a binary form: it either has a value or is undefined. This resolves the apparent dissonance between the internal binary representation of data and the need for all external values to have an unobserved state. For example, a typically binary type, Boolean, if external, must be trinary. This exotic monadic type finds use in speech understanding as a premise in verbal reasoning. A premise is a terminator in a chain of reasoning, while it can be observed, it has no dependent reason; it is self-evident. An example is presented in the machine understanding tool, Enguage, which is a processes of monadic speech values.