Ah yes, that makes sense, thanks! I didn’t realize what ¯¯¯¯¯¯W was the set of equivalence classes of W
Ah yes, that makes sense, thanks! I didn’t realize what ¯¯¯¯¯¯W was the set of equivalence classes of W