Kaj_Sotala comments on Exploring the Idea Space Efficiently