I discovered a counterexample to on the list of intermediate assertions in a proof although not (essentially) to the overall consequence – tips on how to publish this? indicates the environment in operation of the continuous operation for any goal; The 1st time a brand new or reconstructed batch Pr