Formalized description