Redefined LFLLConsequence