9.3.3; v-1