[xyproto]

I think the distinction matters not only in mathematics and logic but in security too. Companies with "proven security" are often proven wrong.