A1987dM comments on Mathematics as a lossy compression algorithm gone wild