It 's a precise specification with a precise formal language that causes Mathematica to know what to do here .
Chi tiết kỹ thuật cụ thể cùng với một ngôn ngữ cụ thể giúp cho Mathematica biết nên làm những gì .