Invariant in your paper

Hi Emery,

In your Hoard [paper](https://www.cs.utexas.edu/users/mckinley/papers/asplos-2000.pdf), should the condition of line 9 in free pseudocode be *or* instead of *and*? 