well formed in Models