The original proof of Zvi Artstein proceeds by a nonconstructive argument. Many parody Wikipedia's openness, with individuals vandalizing or modifying articles in nonconstructive ways. A peculiarity of this argument is that it is entirely nonconstructive. Accordingly, 2, 2, 2, and 3 are nonconstructive improvements of the contract. Reverse mathematics also clarifies the extent and manner in which classical mathematics is nonconstructive.