lambda1@tg says to YSITD
Well ordered should suffice....
at Sun, Feb 23, 2020 2:39 AM