option aspect of straddle, 10 assertions