Is `@thread.isHidden`wanted?