  The essential point had been made. One could develop formal modal systems with quantifiers and equality. The ideas had coherence. Still missing was a semantics which would help with the understanding of the formalism, but this was around the corner.