Finished sem_down