Made updates to the operators chapter. One proof left to do. I have started changing the analytical results section around as well.