Hot: witness-promotion