¿Todos los métodos no nulos deben tener cuál de los siguientes?