It's a joke, we don't actually use neither left-pad nor is-positive-integer...