[
  "If 9 comes after a number, that number is one less than 9.",
  "Subtract 1 from 9.",
  "9 - 1 = 8, so 9 comes after 8."
]