bad check subgroup of check, 3 assertions