proof first commit