Where does the magic number `9` come from?