added empty categories to todo list
made disjunction/conjunction lists of equations