EMBEDDED PRESUPPOSITIONS