The law-making affair often has an Alice in Wonderland touch. Terms are defined by law, and if the law says black is white, then for the purpose of the law, black is white.

We say that 𝜙 is universal iff it can be written in prenex form — i.e. with all quantifiers at the beginning — using only universal quantifiers.

Though a certain kind of paper is manufactured from bamboo pulp, the usual material of the books is the palm leaf, while for ordinary notebook purposes a kind of black tablet, called a parabeik, and a steatite pencil are employed.

The kitchen counter formed a right angle with the back wall.