Delete sl2.v