Correcting PTSD by re-writing memories