pull down to refresh

and then we have lie algebra too, recently there was a post about the nopertahedron breaking the rupert theorem which was related to this. I remember discussing with @carter about Lie algebra tho