Distinguish _to be_ and _to become_. The latter is only possible if you _are not already_.
Safari is efficient. Chrome becomes efficient. The latter is only possible if Chrome isn’t efficient currently.
Safari is efficient. Chrome becomes efficient. The latter is only possible if Chrome isn’t efficient currently.