main entrance subgroup of entrance, 3 assertions