Well, inductive constructions need positivity conditions to be consistent. These are complicated enough to suggest that they need to be proven instead of accept

Well, inductive constructions need positivity conditions to be consistent. These are complicated enough to suggest that they need to be proven instead of accepted as part of the formal system.