Почему 712 является EIP, а не ERC, если это конструкция на уровне приложений?