 The use of the Goldbach Conjecture here is purely dramatic. For, the argument of the preceding paragraph can be modified to show that, under our computational interpretation, (*) implies the limited principle of omniscience (LPO):