Question: What type of collection does Every Where Is Some Where and K.Flay have in common?
Sentence (from "Top type"): The top type in the type theory of mathematics, logic, and computer science, commonly abbreviated as top or by the "down tack" symbol (⊤), is the "universal" type, sometimes called the "universal supertype" as all other types in any given type system are subtypes of top.
Relevant evidence: No