Redirecting to A fortiori argument