Added a bit more notation