New: introduce-witness