new forte subgroup of forte, 3 assertions