https://123dok.org/document/zlg195dg-joyal-s-arithmetic-universe-as-list-arithmetic-pretopos.html