Adding a bit about how case knowledge is represented in the method game