fix two uses of \begin{prop}
try out a new type of (dotted) circle for a modality
add a few subscripts and superscripts to eta's in the Modality section