cawmp 2 2 20 () [not if2,3 or brackets in these ] just need calls to itself and other preds, random data program finder x use different commands e.g. equals2, if etc. later if in dict, tries - too slow with cawmp bug fixed, should write multiple clauses and have single spec x very slow to try all combos from single spec alg that verifies properties of spec to find the right spec set (and spec set from spec) and alg () just alg x cawmp keep multi spec, which can generate based on first spec, run cawmp - ont->first spec later (ml?)