 So, meaningful theorems reduce to maximization conditions.The calculus of the relations is at a high level of abstraction but with the advantage of numerous applications.Finally, Part I illustrates that there "are" meaningful theorems in economics, which apply to diverse fields.