On the expressive power of FO[+]