Why do formal theorists get so few citations?