17 mentions of “TLA+” before defining the acronym.
Which is ironic and funny given the other common use of those letters.