تم إصلاح 15 خطأ في الصياغة في بوتنام بنش (حوالي 2٪ من المعيار المرجعي)، وذلك بفضل Logical Intelligence لمساهمتهم بالتغييرات، والتي تم تحديدها من خلال نظام Aleph Prover الخاص بهم (وهو أيضا أقوى نهج في قائمة المتصدرين في PB حاليا)!