More proof tests