Will_Sawin comments on Controlling Constant Programs

[Will_Sawin]

There are several different possible formulations here. It seems like they will lead to the same results. The best one is, I suppose, the most elegant one.

Not sure which is.