shminux comments on Mathematics as a lossy compression algorithm gone wild