m
A[(||A||-(x+1))] < n List
n List)| ||s|| = 1 
& (
x,y:||s||. x < y 
s[x] < s[y]) }
||L||
||L||
List
||A||
x:||A||. A[x] < n & G([A[x]]) = c
x,y:||A||. x < y A[x] > A[y]
(
x.A[(||A||-(x+1))]) mn
| 1 | 10. x: m A[(||A||-(x+1))] < n | 1 step |
About:
 |  |  |  |  |  |  |  |  |
 |  |  |  |  |  |  |  |