# Testing

  • Define invariants to test projection code?