le 0 s x true le x 0 false le s x s y le x y min cons x nil x min cons x l x le x min l true min cons x l min l le x min l false min cons x l min l min l x le 2 0 0 s 1 true 0 false 0 min 1 cons 2 nil 0 ORIENTED FULL