"high-level mathematics. Like PhD-level mathematics."