Evaluated proc ppl {} {}