You will be given a definition of a task first, then some input of the task.
Given a disfluent sentence, modify the sentence to it to its equivalent fluent form, preserving the meaning of the sentence.

In what type of ideals no theory is the idea of a number exchanged with that of an ideal?
Output:
In what theory is the idea of a number exchanged with that of an ideal?