Demonstration Page - Canonical ADM formalism