As any Philosopher of Science will tell you formal theories serve as explanations to observed phenomena, an association between the explanandum - the object of phenomena to be explained; and the explanans - the framework, concept or theory to be used as an the reference point for explanation.