weak ai subgroup of ai, 2 assertions