ejemplos de condición resolutoria expresa