proof question