Predicates remade. NL join actually works.