syntactic niceties