Modality: Diagram (type 3a)