It's a precise specification with a precise formal language that causes Mathematica to know what to do here.
Ini adalah spesifikasi yang tepat dengan bahasa formal yang tepat juga yang membuat Mathematica tahu apa yang perlu dilakukan di sini.