Avoiding paradox requires distinguishing levels of predication, as Russellian type theory formally e...