The standard semantics for counterfactuals ensures that any counterfactual with a true antecedent and true consequent is itself true. There have been many recent attempts to amend the standard semantics to avoid this result. I show that these proposals invalidate a number of further principles of the standard logic of counterfactuals. The case against the automatic truth of counterfactuals with true components does not extend to these further principles, however, so it is not clear that rejecting the latter should be a consequence of rejecting the former. Instead I consider how one might defuse putative counterexamples to the truth of true-true counterfactuals.One allegedly undesirable feature of the standard Stalnaker-Lewis possible world semantics for counterfactuals is that conditionals with true components are themselves trivially true ( §1). Lewis proposes a semantics which lacks this feature, but this too has been deemed unsatisfactory ( §2). As a result, several authors have tried to revise the standard semantics so as to avoid the automatic truth of counterfactuals with true components ( §4- §7). I note, however, ( §3) that as well as making counterfactuals with true components automatically true, the standard semantics validates a range of plausible and popular principles. Then ( §4- §7) I show how each modification of the standard account considered here requires a number of these further principles to be rejected. Such accounts then are logically revisionary in ways that many opponents of the automatic truth of true-true counterfactuals find objectionable. I close by highlighting the lessons to be learnt from the discussion of these semantic proposals ( §8), and by suggesting what the defender of the trivial truth of true-true counterfactuals can say in response to putative counterexamples ( §9).