cleaning up proof that Set is regular