SRL for [authenticate]: And no messages can be transmitted on these circuits until senders and receivers [authenticate] in advance by special codes that the messages actually come from their purported sources .
ARG-0: senders and receivers | ARG-M-TMP: in advance | ARG-M-MNR: by special codes | ARG-1: that the messages actually come from their purported sources