I just finished listening to the audiobook TWTTK. I had read it just after release, but didn't notice this before. It is mentioned that the Lion is named Aslan, which is the name of the Great Lion...