[next] [prev] [prev-tail] [tail] [up]
a ∧ b = b ∧ a and a ∨ b = b ∨ a.
[next] [prev] [prev-tail] [front] [up]