• Example: EARL post
• Compare AvailabilityPropagation