nullifiers

not defined yet