Delete mux3.v