Assignment specification added