Ct p : F *EL