On a side effect of solving Fitch's paradox by typing knowledge - Halbach, V (2008)