Finding myself with an infinitely long ladder in one hand and in the other a class whose disbelief seemed as unending as the ladder, I began to consider an indirect approach to mathematical induction. We had worked with the negations of existential and universal quantifiers which would be essential for this different approach. Also we had developed the nec-essary background in summation notation to maintain some degree of clarity in the proof.