AstraSequi comments on Exploring the Idea Space Efficiently