Comment by jddj

This assertion would look good beside some concrete examples.