Redirecting to Proof by verbosity