Many-one reductions map single inputs to single queries, preserving the logical structure of members...
This proposition has not been edited since the history system was added.