Extraction of witness (but no print)