strategy to perform we

State the vocabulary $($or semantics$)$ and the grammar rules $($or syntax$)$ of categorical logic.