Just keep in mind, everyone, that Ti = abstraction, and a tendency of Ti types is to make Ti observations that, while technically correct, are so abstract that they are essentially worthless and impractical.