Title: Performatives and verifiability by the use of language
Subjects: Conditionals (Logic), Model theory