Redirecting to Lindenbaum–Tarski algebra