Template:Group action property implication