W momencie wywołania procedury (bloku):

parametry formalne są zastępowane przez parametry aktualne

parametry aktualne są zastępowane przez parametry formalne

.