This is to verify some properties of the Carosol Model. I worked in this project as a research assistant.