Six String Proof