provingly

not defined yet