DoRec -> RecursiveDo
Added pair example for idempotent implementation.