Tomás B. comments on Understanding Conjecture: Notes from Connor Leahy interview