Sure, it'd be great if I could reach that ultimate benefit of being able to prove theorems. But if I'm being honest, I couldn't work toward that at the moment.

Sure, it'd be great if I could reach that ultimate benefit of being able to prove theorems. But if I'm being honest, I couldn't work toward that at the moment. Probably not for a while. In doing this I don't aim to get a false sense of familiarity with the actual topic. But there are a lot of tangible bite-size achievable goals in providing an opportunity for a discussion for those who understand it deeply, e.g. make a connection to something I do understand, or perhaps, observe the resolution of some tangential disagreement between domain experts, etc. :^)