Redirecting to Batalin-Vilkovisky formalism