1)Adding: add the simple operation of sem