New: presuppositions