λThis user is fluent in Lambda calculus.