Started invariant section of README.