The statement "Bush and Carter are both the names of presidents" is true because Bush and Carter were both presidents.