"E") "E′") es llamada un beta redex.