A bit of syntax