One-off Formal Statements