Delete knormal.ml
first