u/Liesymmetrymanifold