This video [Lecture quot Operational Semantics Part 1 Preliminaries quot of] has been shared from the internet. If you find it inappropriate or wish for it to be removed, kindly contact us, and we will promptly take it down. Thank you for your understanding and cooperation!