提起 M ，是因為他剛通知我們，他管的部門請人，希望我系的同事 --- 尤其是教 advanced logic 的 Z --- 能推薦一些邏輯訓練很足夠的學生給他們面試。這已不是 M 第一次這麼關照我們的學生，兩年前他也是這樣到來「揀蟀」，請了其中一個學生，並很有眼光，揀了個邏輯最強的；據 M 說，這個學生的工作表現一直都十分出色。這一次我們只有一兩個學生可以推薦（有幾個有能力的或是沒興趣，或是距離畢業仍有一兩年），希望 M 看得上眼吧。

我跟 M 只見過兩三次面，有一回是吃晚飯，坐在他旁邊，有機會和他多談了幾句，才知道 Sun Microsystems 當年聘請他，是看上了他的數理邏輯能力（當然， M 的其他條件也適合）；雖然他的工作無須編寫或處理電腦程式，但數理邏輯的訓練能令他迅速了解公司產品的具體內容，對他的工作很有幫助。

其實 M 曾經有機會重返學院：六、七年前我系有一個科學哲學的教席， tenure-track 的， M 申請了，經過三輪篩選兩次面試，我們決定聘請 M ；可是， M 最 終還是打退堂鼓，留在 Sun Microsystems 工作。換作其他人，可能根本就不會考慮申請那個教席， 因為他當時的薪金已是助理教授起薪點的兩三倍了 。相信他到現在仍然須要使用他的數理邏輯知識，至於哲學，有空時看看消閑可矣。