develop proof