look up any word, like sex:

formal proof isn't defined.
Can you define it?