 Application is not assumed to possess additional properties (such as commutativity), because its intended interpretation is function application. For instance, \(((vw)u)\) and \((v(wu))\) are distinct terms—just as the derivative  of \(\lambda x.\,x^2+4x-6\) applied to 8 (that is, (\(\lambda x.\,2x+4)8=20\)) is different from the derivative of 90 (that is, \((8^2+32-6)'=0\)). Using \(\lambda\) notation, the two terms in the example may be expressed as