In the latter they are formulas that assert the identity of two relations of magnitude,a and are always constitutive, so that if two members of the proportion are given the third is also thereby given,.e., can be constructed.