S3E03-Formalized, Complex and Costly