Added valid and invalid proof