Can Contingency be Formalized?