ΛΠ-calculus loading ...