refined syntax