I’d love some feedback on the abstract for a paper I’m working on focused on demonstrating how the formal method of systems analysis developed by George Mobus can be usefully applied to Bitcoin.