inputs other than x [...] these inputs can not [...] Handling Sorting Inputs

_INPUT (* specific inputs *) END [...] _INPUT (* specific inputs *) END [...] With the property