How do you say it in Korean? Michael isn't a student at the University of Yonsei? 마이클 씨는 연세대학교 대학생이 아닙니다 or simply 마이클 씨는 연세대학생이 아닙니다. Which one is correct?