Formatting. People can read UNLOCK to see how it works.