Hacker News Reader

⊥ and ⊤ is not entirely congruent to false and true.

Boolean and propositional logic is not the same.

For _ordinary_ two‑valued classical propositional logic, e.g., YAML, they are congruent.