JohannesDahlstrom comments on Kevin T. Kelly’s Ockham Efficiency Theorem