Wanneer krijg syntax een wel-gevormde modellen?