Updated for the thesis version