adduce in proof