He also gets the terminology wrong. "Pre-image" and "image" refer to sets, not individual objects.