#inferenceproofs