It's a precise specification with a precise formal language that causes Mathematica to know what to do here.
Es ist eine präzise Spezifikation mit präziser formaler Sprache, die Mathematica wissen lässt, was hier zu tun ist.