Text this: Proof and System-Reliability /