add output to disprover