[finite-model-theory] [Vardi-list] How to be an ethical computer scientist