second proof pass