rotatingpaguro comments on Generalizing Koopman-Pitman-Darmois