En minfctc \ vcv \ u \ u \ , Vc \ tv \cu^c