Stuart_Armstrong comments on Thoughts and problems with Eliezer’s measure of optimization power