possibility

The modality expressed by $◊$, meaning “true in some accessible world.”