More notation.