If the proximity criterion is not sufficient for deciding, then {TAIL ~ additional properties} can be used to ensure {HEAD ~ reliable correlation} 
If the proximity criterion is not sufficient for deciding , then { TAIL ~ additional properties } can be used to ensure { HEAD ~ reliable correlation }
OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD