It is equivalent to executing the