Un enunciado sólo tiene sentido cuando hay un método por el que podamos verificarlo.