So with the hashing power lost that went over to bitcoin cash, it means that in average for the network it should be taking a bit more time to mine those 12.5 bitcoins until a network difficulty update comes over. So the flow of new bitcoin will be slowed down until network diff adjustment, right?