If I understand correctly, miners will be able to start mining for the project at some point in the middle of 2019 ?