"What a pity, professor."