A check finds that an identity holds for many thousand… | StemPy Lab