look up any word, like jamflex:

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