Janis Voigtlaender wrote: > How about some QuickChecking in connection with the "Chasing bottoms" > library (http://citeseer.ist.psu.edu/704350.html)? Ah, finally a reference to what this curios phrase is actually about...!