[lakesare]

I love "Lean" actually, have you noticed ∃∀. Googling Lean concepts does primarily return the codeine syrup links though yes.

[lupire]

N for Natural numbers.