Definition of "disproves"