Hot: witnessinstruction