described list differences and added the proposed alternative
first step into using self-checking assertions