changed notation