Adds conjectures for relationships between algorithms.
Moves proposition to new section and makes more general.
Adds spacing around pipe symbol.