Add figs. Add proofs.