Research Article  Open Access
Semidefinite Relaxation Algorithm for Multisource Localization Using TDOA Measurements with Range Constraints
Abstract
Multiple sources localization based on time difference of arrival (TDOA) measurements is investigated in this paper. Different from the traditional methods, a novel and practical multisource localization algorithm is proposed by adopting a priori information of relative distance among emitting sources. Since the maximum likelihood (ML) cost function for multisource estimation is highly nonconvex, the semidefinite relaxation (SDR) is utilized to reformulate the ML cost function. A robust estimator is obtained, which can be solved by semidefinite programming (SDP). Moreover, the constrained CramérRao bound is also derived as a benchmark by considering the range constraints between sources. Simulation results verify the superior performance of the proposed algorithm over the traditional methods.
1. Introduction
Multisource localization is an essential task in radar, sonar, navigation, and other applications [1, 2]. According to [3, 4], time difference of arrival (TDOA) measurements can be utilized to locate a source with high accuracy, which circumvents the synchronization problem in the time of arrival (TOA) based methods.
The positioning problem of using TDOA measurements is a nontrivial task due to its high nonlinearity and nonconvexity. In [3], the authors develop an iterative nonlinear leastsquares (NLS) algorithm based on Taylorseries expansion, but it requires sufficiently precise initial estimates for the global solution. Otherwise, it may suffer from the problem of local convergence. To alleviate this drawback, a twostep weighted leastsquares (WLS) method is put forward to approximate the maximum likelihood (ML) function and a closedform solution is also obtained [4]. However, inaccurate estimation of the covariance matrix of measurement errors used in [4] can result in performance degradation in practice. In general, the leastsquares (LS) methods can achieve the CramérRao bound (CRB) when the measurement errors are sufficiently small.
Since the convex optimization has been applied to solve localization problems, many researchers prove that this method is attractive to robustly achieve excellent estimate results and accuracy even at high noise levels [5–8]. This is mainly because of its preferable property of providing globally optimal solution without needing any initial estimates and efficient calculation with existing software package. Usually, there are two ways to apply the semidefinite relaxation (SDR) techniques. The authors in [5] start from reformulating the nonconvex ML problem to a convex optimization problem and then add a constraint based on a priori knowledge of the admissible source position. Another approach is presented in [6–8] where the robust LS cost function is firstly established and then relaxed to a semidefinite programming (SDP) problem. It is worth pointing out that these meaningful trials lay the foundations for our further exploration of using the SDR techniques. Despite the preceding progress, all of these works consider only single source.
Multisource localization is of great interest for its frequent emergence in practice. Here we address the problem in some common scenarios where emitting sources lie within a certain range or move in group, which can be referred to as group targets. The targets are typically sensors in the wireless sensor network or formationflight aircraft and aircraft carrier fleet in the open space. Such patterns usually indicate that these group targets will stay within a certain relative distance with each other and keep the resemble velocity for most of the times. For example, aircraft in formationflight usually keeps a distance around several meters to tens of meters between each companion in the formation [9], and it is also similar for group targets with unknown positions and velocities in sensor network.
To date, only several papers have considered the problem of localizing multiple sources [1, 2, 10–14]. One of the challenges for multisource localization is data association of multisensor and multisource. When the sensors have no prior knowledge of individual signal features of the sources, namely, the associations between the multiple signal measurements at each sensor and the corresponding sources are unknown, a target acquisition and localization algorithm (TALA) is developed in [10], which utilizes hybrid angleofarrival (AOA) and TOA measurements generated within a time window by an array of sensors to detect and localize an unknown number of targets. The authors in [11] apply TDOA measurements to localize multiple acoustic sources by treating the association problem within a multiplehypothesis framework. Alternatively, using TOA measurements, [12, 13] proposes a threestage algorithm to simultaneously estimate the sourcemeasurement associations and the sources locations, respectively. There are also other cases when the problem of matching measurement data with the original emitting sources can be accomplished through techniques that make use of the disjointness of different sources [1], such as time, frequency, or signal transients [2]. Hence, the positioning parameters for multisource, e.g., TDOA, can be obtained separately. Based on the perfect matching, the multisource localization algorithms in [1, 14] exploit the fact that the TDOAs from different sources have the same sensor position displacements to jointly estimate the sources positions and improve the localization accuracy when the sensor positions are not known exactly. However, the prior information of relative distance among sources has not been considered in these related works.
In this paper, the number of sources to be located is assumed to be already known and the associations between the multiple signal measurements at each sensor and the corresponding sources have been accomplished. Unlike the traditional approaches mentioned above, this paper devises a novel method using SDR techniques to jointly locate the multiple sources by introducing the prior information constraints on relative distances between them. Practically, these relative distance information could be obtained through other observation methods. And it can improve the localization accuracy with such range constraints for group targets. The contributions of this paper are summarized as follows.
We formulate the TDOAbased ML problem for multisource localization as an SDP problem which can be solved by the convex optimization tools. The tightness of our SDP is also enhanced by introducing the existing methods, such as utilizing CauchySchwartz inequality.
The prior information of relative distance among sources is introduced as convex constraint for group targets and its effectiveness of improving localization accuracy is verified by our simulations.
The constrained CRB is derived in this paper as a benchmark to evaluate the proposed method by incorporating the prior range constraints.
The rest of the paper is organized as follows. In Section 2, the TDOA measurement model for multisource is given. Subsequently, the semidefinite relaxation (SDR) method for solving the localization problems is presented in Section 3 and complexity analysis of the proposed algorithm is given in Section 4. Section 5 derives the constrained CRB with inequality constraints. Simulation results are illustrated in Section 6. Finally, conclusions are drawn in Section 7.
In the sequel of this paper, boldface lowercase letters represent column vectors and boldface uppercase letters denote matrices. is used to denote the noisefree value of . denotes transpose operator and represents the estimation of . constructs block diagonal matrix from the matrices , , and . means the trace of , and means that is positive semidefinite.
2. Problem Formulation
Consider that there are sensors deployed at the known positions as to intercept signals emitted by sources at unknown positions denoted by in the threedimensional (3D) scenario. Usually we have and . The unknown parameter vector to be determined is denoted by . Note that the vector is a necessity to construct our SDP in the following sections.
Without loss of generality, the first sensor is chosen as the reference sensor and lineofsight propagation condition is considered. The TDOA measurement between a sensor pair and 1 from source is given bywhere is the signal propagation speed. denotes the TDOA measurement noise that is assumed to be zeromean Gaussian distributed. represents the distance between source and sensor and is Euclid norm. Multiplying and TDOA measurement in (1), the range difference of arrival (RDOA) is obtained bywhere . Since there are sensors, the collection of RDOA measurements for source is , where is the noise vector and
Then collect all measurements of sources, and the measurement vector is denoted bywhere and . Furthermore, is assumed to be a zeromean Gaussian random vector with covariance matrix . Using similar formation method in [7], can be reformulated aswhere the vector:and the matrix . and denote the all one column vector and the identity matrix, respectively. We can further rewrite (4) as
Then the problem of interest is to estimate the unknown vector given the RDOA measurements and the prior information of relative distance among sources. Here the prior range constraints for multiple sources that accompany each other in group are introduced. As interpreted before, group targets usually maintain a certain formation where the relative distances among each other can be bounded with a certain value, and the range constraints are given bywhere is the upper range bound between two targets. Similar idea can also be found in [15], but it just considers the potential communication range of an anchor to confine an area that a source must lie within. Here we practically consider a rough upper bound for all potential relative distances among sources since they are not equal or may change slightly in real situations. Besides, the loose upper range bound can be tightened through more precise observations. Specifically, the selection of the upper range bound parameter in practice can be accomplished by the following ways:
If the group targets are in the open space, we can obtain a rough target position by some preestimation methods [3, 5], separately. Then the relative distances between targets can be computed using the preestimated target positions. Next, based on the relative distances obtained through the preestimation process, we can select a large, but appropriate, to establish the range constraints.
For a group of targets that exist in a formation group [9], the relative distances between the targets can be obtained according to the corresponding formation rules and types, and then the value of can be selected with proper consideration.
3. Semidefinite Relaxation Method for Multisource Localization
In this section, the SDR techniques are employed to approximate the ML problem for multiple sources localization and incorporate the range inequalities as convex constraints. According to (7), the ML estimation of can be formulated as
Then, (9) can be rewritten as a constrained quadratic program as follows:
It is proved in [16] that (10c) can be neglected since they are always satisfied for any globally optimal solution determined by (10a) and (10b). Additionally, the objective function in (10a) is convex, and the quadratic equality constraints in (10b) are nonconvex. To transform the problem to standard convex optimization problem defined in [17], problem (10a) and (10b) can be equivalently reexpressed by decomposing the Euclid norms as
By applying the basic property of , (11a) and (11b) can be reformulated aswhere , is the matrix, and it is easy to check that .
Using the SDR principle, we relax the constraints as and as , respectively. By utilizing the basic property of Schurcomplements described in [17], these relaxed constraints can be equivalently rewritten aswhere the matrices are of rank 1 and symmetric positive semidefinite (PSD). Note that the PSD constraints in (13) are convex [17]. Then we obtain a convex optimization problem which can be seen as an approximation of the ML problem described in (9).
It is necessary to point out that, as shown in [5], such relaxations are not tight enough to yield highly precise solutions. In order to remedy the SDR formulation to enhance the tightness and also make use of the prior information of relative distance among sources, two types of additional constraints for and are devised subsequently.
We consider using the relationship between elements of and to generate the constraints for unknown parameters to be determined as the first type. Since there are receivers and by CauchySchwartz inequality, for source we havewhere
Therefore, it is straightforward to obtain the following inequalities:
It is necessary to point out that the inequalities above impose constraints on the product of ranges for each source with different sensor pairs. That is, the correspondent elements that lie in the upper triangular matrix around the principle diagonal in are restrained. The effectiveness of these inequality constraints will be verified through our simulations.
Then the prior information of relative distance in (8) for group targets can be utilized to form the second type of constraints. Using the above relations, (8) can be represented as
Squaring both sides of (17) yieldswhich is equivalent to
Note that the quadratic inequality constraint in (19) is convex. By applying to (19), we have
Substituting into (20) obtainswhere . In summary, adding the constraints of (13), (16), and (21) to (12a), (12b), and (12c), the proposed SDP is obtained as follows:
This canonical convex optimization problem can be solved by CVX Toolbox in Matlab. By solving the SDP in (22), the estimation of is finally obtained.
Remark 1. The covariance matrix in can be estimated by taking the covariance of the TDOA measurements obtained from multiple observations in practice. The corresponding estimation methods are described in detail in [18, 19]. For clarity, the estimate of the element of is given bywhere is the number of observations, and is the TDOA measurement of the observation.
Remark 2. Theoretically, in terms of the effect of the range constraints introduced for group targets, the constraints may have little effect to improve the estimation performance for group targets when the measurement noise is small. This is mainly because, at small measurement noise level, the position estimation results without constraints may just slightly deviate from the true target positions; thus they will probably fall into the feasible domain confined by the range constraints and meet the constraints. However, when the measurement noise grows larger, the position estimation results without constraints might deviate from the real target positions by a large amount with a high probability, which are likely to exceed the feasible domain. In this case, the range constraints will definitely confine and reduce the deviations and significantly decrease the estimation errors. Therefore, the improvement of the estimation performance can be more significant by utilizing the range constraints at large measurement noise level. This will be illustrated by the simulation results in Section 6.
4. Complexity Analysis
Computational complexity is analyzed in this section. Here, we apply the result of [6, 20] to analyze the computational complexity of the proposed multisource localization algorithm, denoted as “SDPCL”, in the dimensional scenario. The localization algorithm for single target using similar SDR method in [7] except for the range constraints in (21), denoted as “SDPSL”, and the classic twostep weighted leastsquare (TSWLS) method [4] are also discussed. In Table 1, algorithm complexities in terms of the number of iterations and operations needed in each iteration are examined. From the table, it can be seen that the complexity grows with the number of targets to be estimated and our SDP algorithm is computationally higher than the classic TSWLS. Thus it needs further refining [6]. It is necessary to point out that, unlike single target positioning algorithm, which locates the targets in a decoupled manner, our approach is to localize multiple targets jointly. Although the complexity of the proposed algorithm increases, the corresponding localization performance can be promoted. This is verified by the simulation results in Section 6.

5. The Constrained CRB
The CRB is usually seen as a benchmark against which the statistical efficiency of any unbiased estimators can be compared. The CRBs for single source and multisource localization using TDOA measurements have been investigated in [5] and [1], respectively, but they do not consider the situation where inequality constraints are employed. Inspired by the work of Gorman et al. [21], we try to incorporate the range constraint inequalities and derive a constrained CRB (CCRB).
The probability density function (PDF) of jointly Gaussian distributed measurement noise is subsequently given by
The corresponding Fisher information matrix (FIM) is obtained aswhere is the Jacobian matrix defined as
The inequalities in (8) can be written in a functional inequality constraint of the form
The constrained parameter space is defined by , and it is composed of the equality constraint and pure inequality constraint . When is a regular point that lies in the interior of , namely, belongs to the set where the equality constraint is inactive, it is demonstrated in [21] that the constrained CRB is identical to the unconstrained CRB. However, due to the existence of measurement errors, some points of the estimated parameter are not regular. Hence they will not lie in the interior of . Consequently, the equality constraints will take effect under such condition, thus leading to the bound reduction. For this case, the classical CRB is invalid due to the active equality constraints.
It is proved in [21] that, for any unbiased estimator confined by inequality constraints (28), the estimator error covariance matrix satisfies the matrix inequalitywherewhere is the identity matrix for unbiased estimator [21], and is the matrix which is defined as follows:where the denotes pseudoinverse.
It can be seen that has already contained the exact prior information of relative distance among the sources, which leads to a reduction in CRB. Hence, we have the following constrained CRB (CCRB) matrix of the lowest variance for the efficient constrained estimator as
The diagonal elements of give the lowest estimate variance of the source coordinates. For example, in the dimensional scenario, the CCRB for in this case is the sum of the diagonal elements of after taking square root operation.
6. Simulation Results
In this section, simulation has been conducted to evaluate the TDOAbased localization performance of the proposed SDR algorithm. The localization algorithm developed in this paper for multiple sources, denoted as “SDPCL”, is compared with the single target SDR algorithm which is similar to [7] using only TDOA measurements, namely, the “SDPSL”, and the classic twostep weighted leastsquare (TSWLS) method [4]. The CRB for single target case [5] and CCRB derived in this paper are also included.
In the simulation, six stationary sensors are employed to locate more than two targets in the sensor network. The positions of the sensors are listed in Table 2; they are the same as the setting in [1].

The positioning performance is evaluated by the root mean square errors (RMSE), defined bywhere is the estimate of the true source position and the RMSE of source position can be directly computed in the same way when the estimate is obtained. The RMSE is obtained through independent MonteCarlo runs in our simulation. The RDOA measurement noise is assumed to be a correlated Gaussian process [5], and its covariance matrix is of the form withwhere is the matrix, and is the matrix. In simulation, the value of the range difference measurement error variance is modified to achieve different noise conditions, and the measurement noises of different sources are assumed to be independent. The SDP in this paper is solved using the Matlab toolbox CVX [22], where the solver is SDPT3 [23].
In the first test, the impact of for localization performance is first investigated here. Without loss of generality, the group targets are assumed to consist of two emitting sources. The sources are located at 652, 805, and 710 m and 650, 814, and 708 m. Thus the relative distance between them is about 10m, and we examine two situations where the upper range bound is set as 300m and 40m, respectively. The estimated position RMSEs of the two targets against the measurement error variance are shown in Figure 1. At 300m and 40m, Figure 1 shows that when the upper range bound is more precise, the proposed method can achieve better result than that of large and eventually attain the corresponding CCRB. It can also be noticed that even when is large, for example, m, our method can slightly improve the localization accuracy compared with the localization algorithms for single source. Additionally, it can be observed from Figure 1 that the localization RMSE of the proposed method can approach the CCRB as the measurement error gradually grows large. This indicates that the range constraints between sources are more effective as the measurement noise increases. The result corresponds to the analysis of Remark 2 in Section 3.
(a) RMSE of target 1
(b) RMSE of target 2
In the second test, the number of targets is increased to three. Their positions are 654, 803, and 708 m, 652, 808, and 710 m, and 650, 814, and 705 m. Thus the true ranges between the targets are approximately up to 12m. Here the observed upper range bound information is set as 60m. The simulations results are plotted in Figure 2, from which we can see that the performance of proposed collaborative localization method outperforms other methods. And it can be also noticed that the localization accuracy can be improved with the aid of the range constraints, as the measurement error gradually becomes intensive. Moreover, based on the above two tests, it can be found that our method can yield a promotion of localization accuracy by utilizing a rough upper range bound when the range information between sources is not known precisely.
(a) RMSE of target 1
(b) RMSE of target 2
(c) RMSE of target 3
In the third test, the group targets are assumed to consist of three emitting sources that are farther from the sensors than that in the second test. Their positions are 1260, 1440, and 1193 m, 1256, 1450, and 1195 m, and 1251, 1456, and 1188 m. Thus the maximum relative distance among them is around 20m and the upper range bound is set as 90m. The estimated position RMSEs of the three targets against the measurement error variance are shown in Figure 3 when . We can observe that the RMSE of the proposed position estimates using the SDP method is much lower than the results of traditional single target localization algorithms, and it can attain the corresponding CCRB as the measurement error increases. Comparing the results of the third test with those of the second test, the localization performance of all the three algorithms in the third test is worse than that in the second test because of the poor geometry. Nevertheless, our method can yield a promotion of localization accuracy by utilizing the range constraints compared with other algorithms in the both tests.
(a) RMSE of target 1
(b) RMSE of target 2
(c) RMSE of target 3
7. Conclusion
In this paper, we propose to jointly localize multiple emitting sources by utilizing the prior relative distance information between them based on TDOA measurements. The SDR technique is applied to reformulate the original nonconvex ML problem for multisource to obtain an SDP. Moreover, the constrained CRB, which incorporates the inequality constraints of prior relative distance information, is also derived in this paper. Simulation results show that the proposed method significantly improves the localization accuracy and can achieve the corresponding CCRB when the range information is more precise. In addition, the proposed method performs well even when the measurement error is intensive.
Data Availability
The authors claim that the data used in this article are provided by their simulations according to some real localization scenarios, and this article is developed without using any data in a published article to support their results.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Acknowledgments
The authors acknowledge support from the National Natural Science Foundation of China (Grants no. 61201381, no. 61401513, and no. 61772548), China Postdoctoral Science Foundation (Grant no. 2016M592989), the SelfTopic Foundation of Information Engineering University (Grant no. 2016600701), and the Outstanding Youth Foundation of Information Engineering University (Grant no. 2016603201).
References
 L. Yang and K. C. Ho, “An approximately efficient TDOA localization algorithm in closedform for locating multiple disjoint sources with erroneous sensor positions,” IEEE Transactions on Signal Processing, vol. 57, no. 12, pp. 4598–4615, 2009. View at: Publisher Site  Google Scholar  MathSciNet
 D. Carevic, “Automatic estimation of multiple target positions and velocities using passive TDOA measurements of transients,” IEEE Transactions on Signal Processing, vol. 55, no. 2, pp. 424–436, 2007. View at: Publisher Site  Google Scholar  MathSciNet
 C. Mensing and S. Plass, “Positioning Algorithms for Cellular Networks Using TDOA,” in Proceedings of the 2006 IEEE International Conference on Acoustics Speed and Signal Processing, vol. 4, pp. 513–516, Toulouse, France, 2006. View at: Publisher Site  Google Scholar
 K. C. Ho and W. Xu, “An accurate algebraic solution for moving source location using TDOA and FDOA measurements,” IEEE Transactions on Signal Processing, vol. 52, no. 9, pp. 2453–2463, 2004. View at: Publisher Site  Google Scholar  MathSciNet
 K. W. K. Lui, F. K. W. Chan, and H. C. So, “Semidefinite programming approach for rangedifference based source localization,” IEEE Transactions on Signal Processing, vol. 57, no. 4, pp. 1630–1633, 2009. View at: Publisher Site  Google Scholar  MathSciNet
 E. Xu, Z. Ding, and S. Dasgupta, “Reduced complexity semidefinite relaxation algorithms for source localization based on time difference of arrival,” IEEE Transactions on Mobile Computing, vol. 10, no. 9, pp. 1276–1282, 2011. View at: Publisher Site  Google Scholar
 Y. Wang and Y. Wu, “An efficient semidefinite relaxation algorithm for moving source localization using TDOA and FDOA measurements,” IEEE Communications Letters, vol. 21, no. 1, pp. 80–83, 2017. View at: Publisher Site  Google Scholar
 G. Wang, Y. Li, and N. Ansari, “A semidefinite relaxation method for source localization using TDOA and FDOA measurements,” IEEE Transactions on Vehicular Technology, vol. 62, no. 2, pp. 853–862, 2013. View at: Publisher Site  Google Scholar
 F. Giulietti, L. Pollini, and M. Innocenti, “Automatic formation flight,” IEEE Control Systems Magazine, vol. 20, pp. 34–44, 2000. View at: Publisher Site  Google Scholar
 M. Hernandez, “Novel maximum likelihood approach for passive detection and localisation of multiple emitters,” EURASIP Journal on Advances in Signal Processing, vol. 2017, p. 36, 2017. View at: Google Scholar
 Y. Lee, T. S. Wada, and B.H. Juang, “Multiple acoustic source localization based on multiple hypotheses testing using particle approach,” in Proceedings of the 2010 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2010, pp. 2722–2725, Dallas, Tex, USA, March 2010. View at: Google Scholar
 S. Venkateswaran and U. Madhow, “Localizing multiple events using times of arrival: a parallelized, hierarchical approach to the association problem,” IEEE Transactions on Signal Processing, vol. 60, no. 10, pp. 5464–5477, 2012. View at: Publisher Site  Google Scholar  MathSciNet
 H. Shen, Z. Ding, S. Dasgupta, and C. Zhao, “Multiple source localization in wireless sensor networks based on time of arrival measurement,” IEEE Transactions on Signal Processing, vol. 62, no. 8, pp. 1938–1949, 2014. View at: Publisher Site  Google Scholar  MathSciNet
 J. Li, H. Pang, F. Guo, L. Yang, and W. Jiang, “Localization of multiple disjoint sources with prior knowledge on source locations in the presence of sensor location errors,” Digital Signal Processing, vol. 40, pp. 181–197, 2015. View at: Publisher Site  Google Scholar  MathSciNet
 L. Doherty, K. S. J. Pister, and L. E. Ghaoui, “Convex position estimation in wireless sensor networks,” IEEE INFOCOM, vol. 3, pp. 1655–1663, 2001. View at: Google Scholar
 K. W. Cheung, W.K. Ma, and H. C. So, “Accurate approximation algorithm for TOAbased maximum likelihood mobile location using semidefinite programming,” in Proceedings of the 2004 IEEE International Conference on Acoustics, Speech, and Signal Processing, vol. 2, pp. 145–148, Montreal, Canada, 2004. View at: Publisher Site  Google Scholar
 S. Boyd and L. Vandenberghe, Convex Optimization, Cambridge University Press, Cambridge, UK, 2004. View at: MathSciNet
 Y. T. Chan and K. C. Ho, “A simple and efficient estimator for hyperbolic location,” IEEE Transactions on Signal Processing, vol. 42, no. 8, pp. 1905–1915, 1994. View at: Publisher Site  Google Scholar
 T. Strutz, Data Fitting and Uncertainty: A Practical Introduction to Weighted Least Squares and Beyond, Vieweg and Teubner, 2nd edition, 2016.
 L. Vandenberghe and S. Boyd, “Semidefinite programming,” SIAM Review. A Publication of the Society for Industrial and Applied Mathematics, vol. 38, no. 1, pp. 49–95, 1996. View at: Publisher Site  Google Scholar  MathSciNet
 J. D. Gorman and A. O. Hero, “Lower bounds for parametric estimation with constraints,” Institute of Electrical and Electronics Engineers Transactions on Information Theory, vol. 36, no. 6, pp. 1285–1301, 1990. View at: Publisher Site  Google Scholar  MathSciNet
 M. Grant and S. Boyd, CVX: Matlab Software for Disciplined Convex Programming, 2009, Available: http://stanford.edu/~boyd/cvx.
 K. C. Toh, M. J. Todd, and R. H. Tutuncu, “SDPT3—a MATLAB software package for semidefinite programming, version 1.3,” Optimization Methods and Software, vol. 11, no. 1, pp. 545–581, 1999. View at: Publisher Site  Google Scholar  MathSciNet
Copyright
Copyright © 2018 Changgui Jia et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.