TY  - SER
AU  - Mitchell, Richard
TI  - Fulfilling a contract, satisfying a precondition
KW  - COUNTER
ER  -