I just meant to have a similar level of confidence in the code as if it was checked by an also fallible human. Not a long reaching philosophical point.