so if you want read-after-write, you need to pass the ZedToken from the write call to the Check call