difference between real-world types and bookish types is that the latter can only compute things on the same page, whereas life throws things in a sequence, and almost never in the same page, rather,  one must compute a 'page' in ones own head across many episodes