// co-lifting