E[ foo |= "e n" ] { p : v }
