مخطوطة مسبقة. نحن نقدم ري، نظام حاسوبي مؤسس على أربعة مسلمات بالضبط: المركز-الأطراف (A1)، التمديد-التقليص (A2)، تراكم سيغما (A3)، وانتقال المرحلة الجينية (A4). نثبت الاستقلال المتبادل من خلال بناء نماذج مضادة، ونستخلص خمسة عشر نظرية أساسية، ونعتمد النظام مع 1,689 اختبار ناجح. تنفيذ مفتوح المصدر: https://github.com/fc0web/rei-lang
درس نوبوكي فوجيموتو (مون) هذا السؤال.