general provision subgroup of provision, 3 assertions