Whenever I bring a system of types to a new situation, I should be ready for the objection, articulated by the matter at hand or by other people who are involved with it, that something else is relevant here that is not contained in my types and that might force me to adapt them or...