They're saying most useful programs don't fall in the complete / correct divide. You can get a lot done while restricting yourself to provable programs