primitive camping subgroup of camping, 1 assertions