Added notation about