Li-Fan Chen
says to
Ubuntu 台灣社群
喔還有形式邏輯