: v ; - AS