Redirecting to Hofmann elimination