Fair enough. Perhaps my issue more correctly lies in the close-to absolute trust some of my colleagues have for mathematica. Since mathematica is so much faste

Fair enough. Perhaps my issue more correctly lies in the close-to absolute trust some of my colleagues have for mathematica. Since mathematica is so much faster and feature rich people use it and only very occasionally is it verified by some other software. I would prefer, and would make things easier and faster, if we had (verifiable code) + (one result), instead of (no code) + (one result) + (independent check of result), since only rarely one bothers/have the time to make the independent check. In some cases there is no option to make an independent check (e.g. "with enough effort" is usually too much effort).