Re: This is unnecessary
I was being a tiny bit flippant in reply to the post above mine. See the bit I put in italics in my reply. I should perhaps have used the joke icon.
However, my experience has been that things in contracts don't always automatically happen...