verifiable

not defined yet