How to think ToK?