The claim conflates expressive power over ordered structures with expressive power simpliciter, smug...