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