Version used for Non-wellfounded set theory preprint