use better notation