is universal, and not only known but also simple. However, I don't see how to replace it by a (semi)local form. * One can argue that this does not lead to problems, as we compute E H explicitly. However, this argument is not valid if we choose to express the exchange functional, E x , in a (semi)local form: for one-electron systems, E x = -E H .