A bit more subdued syntax