Write algebraic statements