과제 증명하는데 저 논리가 필요한데 막 써도 되는건가??