Example_sem3