https://9lib.org/document/q2n05lgj-proofs-using-symplectic-g-reflectors.html