Propositional Buyers [Open]