Nonsensical term

Example: In the Untyped calculus of booleans and numbers, the followings are nonsensical:

• $\text{succ}\text{tru}$

• $\text{if}1\text{then}...$