provableness

not defined yet