wellformedness model that is still not working