What is a formal theory?