Kaj_Sotala comments on Understanding Conjecture: Notes from Connor Leahy interview