I think this is the part where enochsmiles or ephermata or allonymist or sjmurdoch or tshb hits us over the head with papers that I, at least, should have read already.

(You have an excuse, you're a topologist. I came at security from formal language theory, that's my problem.)