@robconery yeah that's quite some code I checked in. It solves the goddamn halting problem AND proves P = NP.