Create Invariants.h