This talk will discuss how formulating the goals of Broadcast in a cryptographic, composable framework can help to avoid overlooking aspects that are relevant when using it within a higher level protocol. It will then discuss the model and composable definition of a transaction ledger as a functionality in the Universal Composition (UC) framework, which can be provably implemented by (abstractions of) Bitcoin and Ouroboros Genesis as UC protocols.