The last condition seems superfluous, but why not.