In a real use, you’d take the zedtoken from the previous write and give it to the check to ensure it uses the written data