Definition:

provableness