elaborated syntax