Nisan comments on Proof of fungibility theorem

[Nisan]

Ah, you’re right. The important thing is that it supports V(P). Thanks.