Added shorthand notation