rename graphs w/ {left,mid,right} moves
replace "single robot" proof w/ a small part of the good one

    also fix prop and add what it means