Some formal properties of ensemble density functionals. Issue 8 (9th May 2012)