"You do have the 'and' symbol.  And the 'forall' symbol, and the 'not' symbol, and the parentheses.  That's all you've got, though, you can't bring in Taldane language for describing things beyond that."  Keltham taps again where the whiteboard now shows, with its last gasp of open space: \ h. red(h) \/ blue(h)  =  ???

"You do have the 'and' symbol.  And the 'forall' symbol, and the 'not' symbol, and the parentheses.  And the variable symbols, of course, and the 'red' and 'blue' function symbols.  That's all you've got, though, you can't bring in Taldane language for describing things beyond that."  Keltham taps again where the whiteboard now shows, with its last gasp of open space: \ h. red(h) \/ blue(h)  =  ???

"You do have the 'and' symbol.  And the 'forall' symbol, and the 'not' symbol, and the parentheses.  And the object variable symbols, of course, and the 'red' and 'blue' function symbols.  That's all you've got, though, you can't bring in Taldane language for describing things beyond that."  Keltham taps again where the whiteboard now shows, with its last gasp of open space: \ h. red(h) \/ blue(h)  =  ???