J. Hart and K. Kunen, “Superduper Properties”, Top Proc, vol. 60, pp. 261–277, Aug. 2022.