Miles Chai's groups