international standard subgroup of standard, 4 assertions