5 Quiz from SDM-SL 4 Quiz from Robot Monoitring System Short Question inRange function Short Question why proofs important in formal methods Operator that are used to join two sequence SQ: statement were given and asked about function definition and signature LQ: function that returns last element of sequence write down function LQ:Five instricts in SDMSL LQ: 1 Long from RMS table correct statement match with functions