Now able to get the proofs in the akrasia example in roughly half a second!