Various progress.  Integer add, array realiz of stack, and selection sort all proving.