En el fragmento de código de arriba se ha definido una regla: