This paper formalizes a two-step representation of accounting measurement and uses it to formalize a general rationale for conservatism as a measurement principle. A transaction's economic substance manifests itself in characteristics of the transaction, and an accounting rule is a mapping from...