Split out comperers.  Added Incomplete assert