The charge of 'illicit assumption' requires evidence the arguer failed to define infinite operations...
This proposition has not been edited since the history system was added.