New: witness-introduction