Oh all right, I grant you can enter into agreements that the immediately terminate without any need to establish identity.

I was hoever not making an argument by induction, so leaving out the trivial case is not crucial to it.