Did you know that the de Bruijn notation and the de Bruijn index are mathematical notations invented by Nicolaas Govert de Bruijn for use in λ calculus ?