miteproof

not defined yet