Machine Obstructed Proof (Abstract)