Hard fork following soft fork?