Formalize statements. Formalize subqueries.