replace Venn.class with Stici_Venn in categoricalLogicj.htm