quotMarked_minus0sMarked_quotminusyxminus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))minus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))Marked_minus(s(x),s(y))Marked_minus(x,y)Marked_quot(s(x),s(y))Marked_quot(minus(x,y),s(y))Marked_quot(s(x),s(y))Marked_minus(x,y)minus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))Marked_quot(s(x),s(y))Marked_quot(minus(x,y),s(y))minus10Marked_quot30s22000quot10minus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))Marked_minus(s(x),s(y))Marked_minus(x,y)Marked_minus1Marked_minus(s(x),s(y))Marked_minus(x,y)minus(x,0)xminus(s(x),s(y))minus(x,y)quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))