limit order subgroup of order, 17 assertions