Mengapa 712 adalah EIP dan bukan ERC jika itu adalah konstruksi lapisan aplikasi?