Example 2

The test $(x < y)$ on the state space $\mathbb{N}$   x$\mathbb{N}$gives the answer true if $(x,y) = (2,3)$ and false if $(x,y) = (4,4)$, etc. We assume such tests are part of the language for building programs. Being predicates, all the usual logical connectives can be applied to them.