<<< native [ ESymbol Bin "-" , ENumber "1" ] >>> eqn - 1