Have a basic invariant working.