It's a precise specification with a precise formal language that causes Mathematica to know what to do here.
Това е точно определена спецификация, с точен официален език, което е причината Математика да знае какво да прави.