Title: Default logic and presuppositions