Ef * c \ C t-iff nA