← TMUA notes on Logic and Proof (enhanced test specification ...