Just using shorter notation