The document describes a calculator application built using COSA technology. COSA uses rules and states to model applications as code. The calculator application contains rules for operands, operations, results and other states. It can subtract two negative numbers and produce a negative result by treating subtraction as negation. The application and its rules are then stepped through as an example of using COSA to build applications where the model and code are the same.