Proof and System-Reliability | lit.salon