proof description