Establishing trust in automated reasoning https://metaror.org/article/establishing-trust-in-automated-reasoning-2/