Invariants prototype added.