rename witnesses to i,f,s