Work on CL verify