FORMAL VOCABULARY