Looking Back at How Richard Stallman Understood Bitcoin in 2013