Verified that it gave a good policy