transcribed proof for path progress