His quips at the party aimed to put the CEO in his place.

The important mining center Paoking is connected with Siangtan by a road through Hsiang Hsiang. It is also connected with Yuanchow by way of Wukang and with Changteh by way of Hsin Hua, An Hua, and Taoyuan.

5.7.T ( Unification theorem ) For any two terms or formulas without quantifiers X and Y, the following holds. (i) The unification algorithm UNIF₁, applied to X, Y, terminates after a finite number of steps. (ii) {X, Y} is unifiable iff UNIF₁ so indicates upon ter- mination. Moreover, the substitution σ then available as out- put is a most general unifier of {X, Y}.

They drink, for one thing, sweet ports as preprandials, anathema to most English, who consider them digestifs, or after-dinner company.