Creating Formulas in Asta