NaiveTortoise comments on Types of Knowledge