Deakstadieđáhus: B: towards zero defect software