Change requirements for lower-units

Added a new example that shows that the earlier requirement was not
sufficient; we need more.