Add proof of dia/box duality.