Opening the public gate proof surface: gate-proofx.html