have* (I think). You can remove the "thens" in this sentence.