Schema calculus: sweet!
The schema calculus allows us to combine specifications using logical operators (e.g., ?, ?, ?, ?)
- This allows us to define the common and error cases separately, for example, and then just ?-ing them together
In some sense, it allows us to get a cleaner, smaller specification