 Some of the \(\mathsf{HS}\) modalities are definable in terms of others, and for each of the strict and non-strict semantics, minimal fragments that are expressive enough to define all other operators have been identified. Complete sets of equivalences that allow one to define certain \(\mathsf{HS}\) modalities in terms of others are presented in the supplementary document: