to be doubled