Text this: Explanation and Plenitude in Non-Well-Founded Set Theories.