[dnautics]

I guess you could amend it to 'the type system prevents 100% of reasonably preventable errors of the class'!!