added formulas to slide 16 (well formedness axioms)