More condensed notation