Hot: witness-updates