Is "probably" there meant to be "provably"? I assume so, but I'm not sure.