preparing for rules that disprove the goal

(with NikosT)