Prooftree recipe