At the end of the line “When a Researcher uses the Probulator to determine an outcome, they must carry out the method of the specified Function as an atomic action using the result it returns as the outcome.” append the following:

If a method would return multiple outputs while the output range only permits a single output to be returned, and the method does not describe any kind of tiebreaker for choosing which output to return, return the legal value of those outputs that was generated first during that run of the method. If that value was generated simultaneously to multiple legal outputs so that none can be considered to be the first, then the researcher chooses one of those values to be the one returned. If this still does not give any legal outputs, that run of the method is an illegal action.