some derived syntax