Please quote the real world definition where it says that deducting claims from each other is not refunding?