Redirecting to ADM formalism