[finite-model-theory] [Vardi-list] How Does Technology Impact Society?