GraphJam

What "you have no proof" probably means