Hart, W. D. On Non-Well Founded Sets. CRHF 2018, 24, 3-21.