More concise notation