the tube is then removed and the hole tamped tolan also received an emmy nomination for outstanding directing in a drama series the successor function is used in the peano axioms which define the natural numbers