Did a couple of todo notes
Added basis elements from other paper, which we wish to write the result of the group action in terms of
Showed that the action, as is, is not closed