At the very least the *are* is too much, or maybe you could just say "The last rule exists to enforce the Liskov..."