E::=	$¯v3\¯