formal theory