Theory of the Josephson Junction Laser Steven H. Simon and Nigel R. Cooper Phys. Rev. Lett. 121, 027004 (2018) [PRL, arXiv:1708.02435]