Sorry. How do you know the miner is owned by Christopher Harborne?