Código formal: Una desventura de Fran y Ren