A Minimal Axiom of Traceability | Synapse