lol, reminds me of the common misreading "provably safe" / "probably safe"