The law of inference that leads form Fx' to Fa' should be traceable back, through the derivation of quantification that I have passed over, until it is found finally to nge upon the substitution transformation by which we learn to use the relative clause.