Energy for Bitcoin + Bitcoin for immutable record keeping = energy for immutable record keeping, denominated in Bitcoin