forward contract subgroup of contract, 15 assertions