Requiring an articulated proof structure imposes a post-hoc rationalization constraint that would ha...