Het is een precieze specificatie met een precieze formele taal die ervoor zorgt dat Mathematica weet wat het hier moet doen.
E o specificație precisă cu un limbaj formal precis care determină Mathematica să știe ce să facă.