: ceased