Pancomputational Enactivism is a formalism of embodied, embedded, extended, and enactive intelligence. Previous work used this formalism to show the optimal choice of policy is the weakest. Experimental results support this claim. This has wide ranging implications. However there are flaws in its formal presentation, which undermine the optimality claims. Here we discuss these flaws, and present alternative proofs to rectify them.