 In the case of modalized categoricals, the modality is prefixed (for the one-sided absolute proposition, I omit the identifier X1 unless required to avoid ambiguity). A full list of abbreviations is given below. For example, Ld1-AaB stands for “Every A is necessarily B as long as it is A”, M1-AiB for “Some A is possibly B”, and A-AeB for “No A is ever B”.