http://www.lri.fr/~sozeau/repos/Russell