3 ms·Correctness is ill defined from a few words in a doc string for anything moderately complex.by tehjoker 5y agoCorrectness is ill defined from a few words in a doc string for anything moderately complex.