Explanation of definition of variable howManyTimes with prompt