Redirecting to Proof theory