The semantic tests in this section require the corresponding remote procedure implemented