“…(1) ⊤ → x = x , x → ⊤ = ⊤ and ⊥ → x = ⊤, (2) If y ≤ z , then x → y ≤ x → z and z → x ≤ y → x, (3) x ≤ y iff x → y = ⊤ and x ∧ y ≤ z iff x ≤ y → z for x, y, z ∈ L, (4) x → (y ∧ z) = (x → y) ∧ (x → z) and (x ∨ y) → z = (x → z) ∧ (y → z), (5) (x ∧ y) → z = x → (y → z) = y → (x → z), (6) x ∧ (x → y) ≤ y and y ≤ x → (x ∧ y) and (x → y) → y ≥ x, (7) (x → ⊥) → (y → ⊥) = y → x, (8) x ∧ y = (x → (y → ⊥)) → ⊥, and x ∨ y = (x → ⊥) → y.…”