What is player agency? Are developers doing it right, or are they looking at everything in the wrong light?