Algebras for Boolean presuppositions by