An exploring in using programming to legitimately prove general things by evaluating specific cases.