[ a , [ b , c ] ] = b( a , c ) - c( a , b )