Verifying Logical Reader Order