Statement, Formal