Cancelled proof for Untitled (Walking Machine) from The Conditional Probability Machine