Text this: Making formal methods more simple with few extensions to mathematical logic.