To be pedantic, a theory that has been proven correct is still a theory, right?