It's a precise specification with a precise formal language that causes Mathematica to know what to do here.
To właśnie jej precyzyjna specyfikacja precyzyjnym językiem formalnym pozwala Mathematice wiedzieć co z tym zrobić.