answer('-'(x, y)).