tangleproof

not defined yet