Eureka!!'s Quad - Group Assumptions and example