Model theoretic semantics of performatives · Study