Modified fork commutativity proof to work with the fair fork version.