functional specification subgroup of specification, 2 assertions