恩佐娱乐

恩佐娱乐在2011年底，樂隊出演了幾個神秘節目（以Foxboro Hot Tubs名義），演出歌單上幾乎都是前所未聞的歌曲。 樂隊於2012年2月於工作室開始錄製新材料，隨後發表了以“Uno！”，“Dos！”和“Tré”組成的三部曲專輯，並於2012年秋季發行。 這三部曲標誌了長期巡迴演出吉他手Jason White為樂隊的第四名成員。 同年夏天，樂隊出演了幾個音樂節及宣傳節目，包括法國的Rock en Seine音樂節，德國的Rock am See音樂節和英国的Reading Festival。

董建華於2001年向六七暴動期間的鬥委會主任楊光頒發大紫荊勳章，由於楊光領導的鬥委會在六七暴動期間曾經發動連串炸彈襲擊，1967年5月至12月間在香港各區街頭有8,074個真假炸彈被放置或投擲，當中有1,167枚真炸彈，炸彈擺放的位置不止於政府機構，尚有電車站、碼頭、兒童遊樂場、戲院、郵局及銀行等，導致香港警察及多名無辜市民死傷，清華街慘案及商業電台播音員林彬被燒殺的兇案，更讓全香港市民深感悲憤，雖然沒有證據指楊光有直接參與清華街慘案及殺害林彬，亦有指楊光領導的鬥委會背後是由工委及新華社香港分社指揮，然而當時由楊光領導的鬥委會，不但發動街頭炸彈襲擊浪潮，還鼓勵中小學生組成學生鬥委會，促使年輕學生參與製造土製炸彈及進行放置真假炸彈的恐怖活動，所以楊光在六七暴動發生的恐怖活動及所造成的死傷，仍有不可推卸的責任，因此楊光授勳被認為是對恐怖主義的肯定，必定引起香港社會非議及不滿。然而由於董建華及時任律政司司長梁愛詩都曾經在左派學校中華中學就讀，六七暴動時期中華中學成為左派暴徒製造土製炸彈的兵工廠，更因為有學生製造炸彈時發生意外受傷而被政府勒令關閉，雖然董梁兩人與此事無關，但2001年董建華向當年發起暴動的楊光頒發最高榮譽的大紫荊勳章，同時又向當年反對暴動的商業電台創辦人何佐芝頒發低一級的金紫荊星章，董建華的做法被認為帶有為六七暴動平反之意。報導指時任政務司司長陳方安生在審閱授勳名單時為維持勳章的正面形象而曾經將鬥委會的核心成員剔除，如在1998年將鬥委會成員吳康民及李澤添從推薦名單中移除，但董建華為了討好香港左派團體便加回去，2001年董建華要向鬥委會主任楊光頒發大紫荊勳章，陳方安生表示反對，董建華卻為了討好工聯會而堅持要向楊光頒發勳章，致使勳銜制度陷入極大爭議，此事也被認為加深了董建華和陳方安生的嫌隙，成為陳方安生離任政務司司長的原因之一。

对于机器证明的可靠性问题，2004年9月，数学家使用证明验证程序Coq来对当时交由计算机运算的算法程序进行形式上的可靠性验证。证明验证程序是一个由法国开发的软件，能够从逻辑上验证一段电脑程序是否正常运行，并且是否达到了它应该达到的逻辑目的。验证表明，四色定理的机器验证程序确实有效地验证所有构形的可约性，完成了证明中的要求。至此，除了机器硬件、软件可能存在问题外，四色定理的理论部分和计算机证明算法部分都得到验证。