In this paper we study predimension inequalities in differential fields and define what it means for such an inequality to be adequate . Adequacy was informally introduced by Zilber, here give a precise definition quite general context. We also discuss the connection of problem definability derivations reducts differentially closed fields. The Ax-Schanuel exponential equation (proved Ax) its an...