spec new contraint on ===