We address Gillis’ recent criticism of a series of papers (by different combinations of the present authors) on formulations of Bell’s theorem. Those papers intended to address an unfortunate gap of communication between two broad camps in the quantum foundations community that we identify as“operationalists”and“realists”. Here,we once again urge the readers to approach the question from an unbiased standpoint, and explain that Gillis’ criticism draws too heavily on the philosophical inclinations of one side of that debate – the realist camp. As part of that explanation we discuss intuition versus proof, look again at Bell’s formalizations of locality, and correct misstatements by Gillis of our views, and those of Bell and Einstein.