Russell-Myhill paradox