some preparations for 4
equals to null
contrastiveTopic
a new, slow algorithm to find the optimal active set
less unchecked assertions
conditionComp goes with question (when)