proof begin