So it is. I shall eliminate the redundancy.