Toward Better Formula Lower Bounds: the Composition of a Function and a Universal Relation