수학과는 여친이 없다는 거 항진명제 아니였냐...