Editing + changing order + made group action in to a proposition
Much minor editing