Reconstructing math from scratch, with an eye for improvements