Formalism property: CA misspeling