I've been in my PhD program for a few months, and every time I try to understand the simulation and UC proof-paradigms I get so confused.
I feel like what I really need is an easy set of (guided) problems and examples that I can play around with and try to prove, starting with non-composable simulation and then moving up to UC. Something that would help me train this muscle so this becomes more intuitive.
Does something like that exist? How does one overcome this hurdle?