SMV and CAV renamed