long hallway subgroup of hallway, 2 assertions