proof tests