modern ai subgroup of ai, 1 assertions