remove setoid
remove play script