Classical Tools for Constructive Proof Search