Proof and Computation II | lit.salon