Adding EcuationSpec