Chatton rebuts this argument by denying the second premise. He claims that when ‘\(a\)’ names a contingent thing, the sentence ‘God knows that \(a\) will be’ is contingent, not necessary. His counter-argument is based on two pieces of philosophical analysis (premises 1 and 4 below), and a theory of equivalence (premise 7):