if this must be true can it be changed to an assertion?