Was extend the notation a bit further.