|entries|settheory-early|