The Algebra of Logic door