facts about lessThan, etc., mostly from UNITY/LessThan
facts about lessThan, etc., mostly from UNITY/LessThan

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle