Formal Defect