Cfl Circular Reasoning