Shapiro: Modality, Semantics
Shapiro: Form
Shapiro: epistemeology
Shapiro: proovs vs. models again, conclusion
Shapiro: wording
Tarski: wording