|entries|settheory-alternative|