they are darkover's primary miners and metalworkers the latter inequalities replace the usual triangle inequality he squinted at his watch