  We prove that if a strongly minimal non-locally modular reduct of an
algebraically closed valued field of characteristic 0 contains +, then this
reduct is bi-interpretable with the underlying field.
