Let me get this straight:

• We prevent people from spending more than once a block because of double-spending during parallel evaluation
• We prevent people from receiving more than once a block because of write-locks to the object in the database

Correct?