Tight and Fine-Grained Domain Model