Delete mux2.v