tfix case in progress proof.