Implemented ForAllIntroduction