I will add more details to this. This is the key component to understanding the optimizations and is not simple to understand (and hence requires more docs).