What would have happened to AT40 if Casey never left?