Continue work on nog_vs_leq_rules_vs.