Everyone Loves Formal Systems (a framework with examples)