short straddle subgroup of straddle, 3 assertions