Introduce positive integer