Help with this question, do NOT copy question and use it as an answer.**

A car dealer buys and sells different types of cars. Each car has a unique vehicle identification number (VIN), type (e.g., Honda Civic), year and the price (minimum value is $2000). The cars that are bought are kept separately from the cars that are kept for sale. Sometimes the dealer moves a car from the `bought' area to the `selling' area (maybe fixed or upgraded and is ready to sell!!) Write an Object-Z specifcation for this problem. Include the following operations: Buy a car, Sell a car, Modify the price of a car, and Move a car from the `bought' area to the `selling' area.