Step 1: Creation of Formulas and Constraints In this step, you wil...