Hale’s argument from transitive counting