imported module to use forall and created doc and pictures for question 3