I'm not sure a real mathematician wrote this.