Modified solution to mimic work from IDDD.  Added new asserstion pattern.