revert("Aquí explica por qué se revirtió. Mensaje de error.")
require(a != 10, 'Mensaje de error aquí'); //Verificar condiciones indeseables (entradas incorrectas por el usuario, por ejemplo.)
assert(a != 10); //Assert sirve para errores que nunca deben suceder.
19. Creando contratos a partir de un contrato 21. Funciones de Respaldo (Fallback Functions)