added proof of cycle list