E::=¯$v 3\\