Compiles, equivalence rule as Justification may be working (test more)