Transactions.
Validators propose transactions for inclusion in the blockchain. Transactions have a rich structure. In fact, AleoBFT handles not only transactions, but also `solutions' and `ratifications', which together with transactions form `transmissions'. However, these details are unimportant for our model. We can treat transactions as abstract entities, since our model is only concerned with properly putting them into blocks.