Working to revise FCLT proof