Thoughts and problems with Eliezer's measure of optimization power — AI Alignment Forum