STRIPS Notation: At the end of the lecture, the course instructor plans to drive a car from Mianwali (M) to Islamabad (I). In order to drive the car, the key must be present in the ignition. Initially the key is in the pocket of the instructor and at the end of the plan he will put it back in the pocket. In order to construct a plan, we have 4 operators: Drive(I) (drive to Islamabad), Drive(drive from Mianwali), Insert(Key) (put the key in the ignition), Remove(Key). Describe the four operators above in STRIPS notation. You will need to specify preconditions and post-conditions for each operator