danielechlin comments on A computational no-coincidence principle