Proof overview
========================

Vertical dimension
--------------------

Horizontal dimension
--------------------