the thing is, to get the proof you'll need to evaluate it empirically, in other words, practicing good context engineering ;)