Gunnar_Zarncke comments on What is optimization power, formally?