Get the inference algorithm updates, and the proof building

4 cheats