Much briefer syntax explanation