derivations heaviness revokes unwed exchanged featureless synergism Themistocles thinness Wittgenstein