Uses assertions instead of visual verification.
Initial revision.