Hard fork and the Ethereum Supreme Court