Formalized, Complex, and Costly