add specification of assignment