You can play a variant of math where you only have a limited set of options available each turn, and it wouldn't make much of a difference. (Eg limit yourself

You can play a variant of math where you only have a limited set of options available each turn, and it wouldn't make much of a difference. (Eg limit yourself to commands you can send to vim as you write your Lean proof or whatever.)