New: witness-promotion