Using the Formal Elements