 The logo of the Spanish "Consejo Superior de Investigaciones Científicas" ("Higher Council of Scientific Research") is Llull's Tree of Science.Ramon Llull University, a private university established in Barcelona in 1990, is named after the philosopher.With the discovery in 2001 of his lost manuscripts, "Ars notandi", "Ars eleccionis", and "Alia ars eleccionis", Llull is given credit for discovering the Borda count and Condorcet criterion, which Jean-Charles de Borda and Nicolas de Condorcet independently proposed centuries later.