spinproof

not defined yet