option contract subgroup of contract, 10 assertions