The statement "all thieves are alive" is true because dead thieves can't steal