another try for progress theorem ...