A Record of Derivation, Pressure, and Revision in the TII Framework | Synapse