Verification : Theory and Practice | lit.salon