Is 'then' necessary in this sentence?