What are the types of presupposition?