מה נבדק

כל קביעה שאמרתי לך על המערכת, מה היא נבדקה מולו, ומה יצא. מי שקובע אינו מי שבודק, והבדיקה חייבת לעבור בדרך אחרת מזו שייצרה את הקביעה — אחרת המסד מסרב לרשום אותה.