It's functionally equivalent, but here it could have been Consumed >= byte_size(Bytes)