{motive : Lean.Name → Sort u} →
  (t : Lean.Name) →
    motive Lean.Name.anonymous →
      ((pre : Lean.Name) → (str : String) → motive (pre.str str)) → (Nat.hasNotBit 3 t.ctorIdx → motive t) → motive t