delete CoModality.v