Title: On the algebra of logic