It's a precise specification with a precise formal language that causes Mathematica to know what to do here.
Het is een precieze specificatie met een precieze formele taal die ervoor zorgt dat Mathematica weet wat het hier moet doen.