Scott Alexander Cook, Moving Through Triadic Space
Example 2. The simply transitive subgroup K(1,1) of UTTs