Contract is related to Formal. Formal is related to Proper. 
Unite is a type of Change. Change is related to Evolution. Evolution is related to Life. Life cannot be Endless. 
Contract <--RelatedTo--> Formal <--RelatedTo--> Proper 
Unite --IsA--> Change <--RelatedTo--> Evolution <--RelatedTo--> Life --NotHasProperty--> Endless 