Eradicating CHECK