Redirecting to First class constraint