We don't have to cast it here