added intransitive mode in categorize-by-equality