Veritas In Silico