A lesson in Heyting algebra for h8trs in the Neighbourhood (mathematics) — Steemit