changes on witness example in presentation