RUN (full version) EXPLICIT