more structure of variational derivation