I guess it's a proof that you can describe rare vim movements as a graph