Υποδομή λήψης αποφάσεων με ντετερμινιστικό πυρήνα
Δημόσιος φάκελος
Μία πηγή για κάθε δημόσιο γεγονός, με σαφείς συνδέσεις μεταξύ των ισχυρισμών και των ορίων τους.
Όριο τεκμηρίωσης
Η εσωτερική αρχιτεκτονική και οι δυνατότητες εκτός του τρέχοντος ορίου απόδειξης δεν δημοσιεύονται εδώ.