Again, why are we removing this notation?