[frumplestlatz]

> Always fun to encounter disparaging comments

I can't imagine why anyone would ever treat your bombastic proclamations about type theory with suspicion.

[practal]

What is bombastic about them?