We now move onto issues of system engineering. These largely cut across the divisions which spring up over set theory versus type theory, classical versus constructive logic, and so on. Generally, the same kinds of problems need to be solved in each case, though to be sure, they differ in detail and in severity.