Some changes to tense and design specs