Christopher Howard Fri, 01 Nov 2024 11:34:33 -0700
The prove6 command appears to no longer exist in the passage, so I am closing my old bug.
-- Christopher Howard
