domainoftheinfinite doesn't have any sets.