Brukner, Renner, and Cavalcanti recently won the Paul Ehrenfest award for their work deriving new no-go theorems involving an Extended Wigner's Friend Scenario, but I'm having trouble understanding certain aspects of how this thought experiment works. I'm trying to understand it conceptually...