predicates are resolved and algorithm is pretty much done