Write short explanation, long proof example; separate proof production chapter; push some figures