Ben Hutchings points out that the initial states of the key-type