Proving pre-existing condition exclusions