Title: Miracle in the rain
Subjects: Formal languages, Congresses, Symbolic and mathematical Logic