left turn subgroup of turn, 1 assertions