Redirecting to BRST formalism