On simplicity of the second Neumann eigenvalue: What every mathematician should know about analysis on