Added alternate proof in cpl