That's right. On Globex options, last time I checked, there was no implied functionality. It means that all the displayed orders on an ES put spread book are orders on that put spread, and never a combination of orders in different put legs. In the same way, a put order on globex book is never...