Assertion: pascal's work | /r/HasProperty | calculated
Facets:
Source sentences:
text: In this manner, the state and its evolution are preserved by using the difficulties in the block headers; the total work used to evolve that state can then be calculated.