논리 - 번역자, 레벨 시프터