What is disproved?