Proof-Testing and Rewinding Machine