"Corrections of the ECSARU 2017 paper"

The corrected version of the paper contains two corrections to the published conference proceedings version.

On page 7 of the corrected version an incorrect remark is crossed out that Pr(Q|P) = 1 would not imply Pr(Q|P&R) = 1.
On page 9 of the corrected version the incorrect analysis of the SOPT and OPT principles is crossed out and replaced with the correct analysis (marked red).