The path of proofs = | lit.salon