[finite-model-theory] Modern vs. classical structures of opposition: A discussion - LUW