An incident which happened about this time will set the characters of these two lads more fairly before the discerning reader than is in the power of the longest dissertation.

The pervasive emptiness and stultifying summer heat were only minor deterrents when compared with the more elemental consideration that all the banking and commercial institutions were based elsewhere, chiefly in Philadelphia and New York.

The repeat that we use here is called a tactical, or tactic combinator. The behavior of repeat t is to loop through running t, running t on all generated subgoals, running t on their generated subgoals, and so on. When t fails at any point in this search tree, that particular subgoal is left to be handled by later tactics.

And lo I am with you allwaye even untyll the ende off the worlde.