a “moron” could also be a group-theoretic structure. “On the symplectic inverses of left-invariant morons”