https://aba-ar.blogspot.com/2017/07/implicit-groups.html