OverviewReference CapabilitiesReference Capability GuaranteesConsume and Destructive ReadRecovering CapabilitiesAliasingPassing and Sharing ReferencesCapability SubtypingCombining CapabilitiesArrow Types aka ViewpointsReference Capability Matrix