Trying to proves WW Assumption B for "last".  Stuck due to bug(?) in fold.