  These discourses seem entirely felicitous even though the final sentence in each discourse violates the proposed type presupposition. In response a proponent of the type-presuppositional hypothesis might suggest reverting to a different type-based hypothesis. For example, in response to (36) they might suggest that the presupposition generated is that the subject-term is a mathematical object. However, this new proposal might be too liberal and because it fails to account for why ‘2.145 is prime’ is a category mistake and it might also be too restrictive because it fails to account for other versions of the argument, where an expert suggests that a non-mathematical  object can be prime as  well.[29]  So the question remains whether we can find a suitable kind to play the relevant role here.