[drdeca]

by "the main chain had a successful hard fork" I mean a hard fork where the side that won the common usage of the unadorned name "bitcoin" was the hard side of the fork.