Thank you for this short and clear synopsis. I had gathered some fragments on how the 'nothing at stake' problem was supposedly solved, but this lays it out very clearly.