Proof in VDM | lit.salon