make "prove"able