納得することは大切だが、いちいち具体的な例に戻らず、
抽象的なレベルで納得することも大切だと思う。

x-(-y)を考えるよりも、
x-yでyの中身がマイナスだと考えた方がよいのではないか。
yの中身にマイナスを許さないと面倒だから。