Refined syntax