Stick to criticizing the paper. Then you can write a blog rant about how painful it is to refer to "the second-order (polymorphic) lambda-calculus with bounded

Stick to criticizing the paper. Then you can write a blog rant about how painful it is to refer to "the second-order (polymorphic) lambda-calculus with bounded quantification" as F-sub or F_<=