Perché 712 è un EIP e non un ERC se è una costruzione a livello di applicazione?