Author: Hintikka, Jaakko Suppes, Patrick,