assignment redo


for Witness