Do we actually want to assert this?  Aren't there valid solutions that allow this?