new examples for group and having