Li-Fan Chen says to YSITD You sure persons who didn't know what "algorithm" is will know what is "totally-ordered set"?