E::=!¯;=; E::= $¯=v=