*1 10 alg writers, like rcawp - data replacer alg writer - cawp2 that makes up data, alg - p2lp and an alg that saves calls to sub-predicates of long algorithms