Both reduction types ultimately compute the same class of oracle-relativized functions; calling this...
This proposition has not been edited since the history system was added.