Make logicalPredicate satisfiable