A General Theory Of Formality