Your argument is valid, however I want to point out that the third scenario you describe (mistyped addresses) is extremely unlikely due to a built-in checksum in bitcoin addresses to prevent exactly that.