Writing Semant. just witten transExp ...