Honestly what is the point of formal theory?