Lamport ordering

  1. REDIRECT happened-before