Algebras for Boolean presuppositions door