Agregando comando para la precondición, comenzando a implementar su evaluación.