According to Faye "Bohr thought of the atom as real. Atoms are neither heuristic nor logical constructions." However, according to Faye, he did not believe "that the quantum mechanical formalism was true in the sense that it gave us a literal ('pictorial') rather than a symbolic representation of the quantum world." Therefore, Bohr's theory of complementarity "is first and foremost a semantic and epistemological reading of quantum mechanics that carries certain ontological implications". As Faye explains, Bohr's indefinability thesis is that