Email Record: Higher set theory :