preimage

not defined yet