https://pwponderings.com/2017/04/25/progress-chapter-47-complicated-simplicity-results-featuring-several-departures/