Hot: introduce-witness