Transcript 논증을 위한 논리