Russell's own ramified type theory and Whitehead's systematic response show that coherent alternativ...