באג אינו תאונה.
זו החלטה.

כשאתם מתכנתים, אתם מתארים את האיך: רצף שביר של הוראות שיכול להיכשל בכל שורה. כשאתם מצהירים, אתם מתארים את המה: מודל שלם, סגור וניתן לאימות. ההצהרה מבטלת עמימות; התוכנית צוברת אותה. הצהרה מצמצמת את מרחב השגיאה כי אין נתיב מאולתר: רק אמיתות שהמערכת מקבלת או דוחה.

Brickter Compiler לוקח את הרעיון עד הקצה. הוא מאמת בקפדנות כל הצהרה עד שהמודל מקבל משמעות מלאה: בלי מצבים בלתי אפשריים, בלי חוזים שבורים, בלי פרשנות חופשית. זה לא מהדר שמתרגם קוד: זה מסנן אונטולוגי. אם משהו לא משתלב בעולם המוצהר, הוא לא קיים. לכן עם Brickter Compiler, לעשות שגיאות מפסיק להיות אפשרות.