revolving door subgroup of door, 1 assertions