Text this: THE INFINITE INTERSECTION PROPERTY OF GROUPS.