Check out the new USENIX Web site. next up previous
Next: Property 4: grantLoyaltyPoints is Up: Example Properties Previous: Property 2: grantPoints is

Property 3: grantLoyaltyPoints is not transitive.

The same as Property 2, but for $ \mathit{grantLoyaltyPoints}$.
Lars-Ake Fredlund 2002-09-23