We declare an element Y of an accepted frame X optional if X \ Y is also an accepted frame.
perhaps the most surprising result evident from this table is that the short vector and the long vector conditions are quite competitive: this lends support to a recent finding of (Levy et al.