HOL的蓝天

广交好友是我的俱乐部的宗旨，因为多交一个朋友，总比多一个敌人好。