Title: Simplified definition of a group