revelability

not defined yet