Reasoning about dead agents reveals possible