qualmproof

not defined yet