Strongly considering trying to learn type theory just so I know what people mean when they talk about stuff like “existentials.”