الحوسبة أصبحت أصلا من الدرجة الأولى. مختبرات الاستدلال تجعلها قابلة للتحقق، لذا يمكن للثقة أن تتوسع معها.