big mistake subgroup of mistake, 1 assertions