De Bruijn notation, and why it's useful