rusi wrote: > But on further examination (with Leibniz law above) Dijkstra's 2<3 = > True will work consistently in all contexts but [1,2,3] = True will > work sometimes and fail sometimes. It would have to be written 2<3 == True; [1,2,3] == True; otherwise, ... +1 QOTW