Mine vs Buy

Miners as a group put SOL on the board, get most of it back, and split the round’s ORE. The SOL they do not get back, divided by the ORE they receive, is what ORE actually costs to mine.