A1987dM comments on Exploring the Idea Space Efficiently