Definitive formal theory top 10