paper check subgroup of check, 9 assertions