"E"["V":= "W"]