In reply to Nicole Fox.

Great! Thank you for the feedback, Nicole. I am glad you learned something new from my post.
LEAVE statement is not necessarily used in conjunction with infinite loops. In any loop, e.g. if you search an array for some value and found it, you can cut that loop short by LEAVE-ing it.