Lambda-calculus loading ...