proof init