writproof

not defined yet