Tractatus Logico-Philosophicus

by Ludwig Wittgenstein

(“A knows that p is the case” is senseless if p is a tautology.)