masterproof

not defined yet