join all proofs before scheduling present phase (ordered according to weight);
tuned;