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