alethic logic: the modal logic of necessity and possibility and contingency
modal logic: a system of logic whose formal properties resemble certain moral and epistemological concepts
mountain pride: mat-forming plant with deep pink flowers on short erect leafy stems; rocky places at high elevations from Oregon to California