¿Por qué el 712 es un EIP y no un ERC si es una construcción de capa de aplicación?