С эволюционной точки зрения формула «Если агент знает, что q, то q» парадоксальна. Предлагается заменить ее доказуемость на выводимость из некоторого эпистемически значимого допущения. Это допущение точно определяется с помощью аксиоматической системы эпистемологии, в которой доказуема теорема «Если агент знает, что q, то, если агент a priori знает, что q, то q».