Added an invariant section to README