Dlaczego 712 jest EIP, a nie ERC, jeśli jest konstruktem na poziomie aplikacji?