2010年12月17日にボルチモア・オリオールズと契約した。2011年は開幕から25試合の登板で3勝3敗、防御率5.29、WHIP1.67と調子が上がらず、6月22日に40人枠から外れた。傘下のAAA級ノーフォーク・タイズでは26試合の登板で防御率2.16、WHIP1.11の成績を残し、9月6日にメジャーに再昇格した。2012年はクリーブランド・インディアンスとマイナー契約を結び、26試合に登板。インディアンス自由契約後の9月にオークランド・アスレチックスと契約した。2013年2月5日にワシントン・ナショナルズとマイナー契約を結んだ。2014年は、独立リーグであるアトランティックリーグのロングアイランド・ダックスとブリッジポート・ブルーフィッシュに所属し、計60試合に登板した。2015年2月26日にアリゾナ・ダイヤモンドバックスとマイナー契約を結ぶが、3月30日に自由契約となった。
2003年8月にドラフト外でサンフランシスコ・ジャイアンツに入団し、2004年はマイナーリーグで57試合に登板して経験を積んだ。翌2005年5月4日のアリゾナ・ダイヤモンドバックス戦でメジャーデビューを果たす。この年はマイナーでも35試合に登板するなど、まだ一軍半という位置付けだったが、メジャーでも28試合に登板した。2006年は、抑えのアーマンド・ベニテスが足の怪我で離脱した際に代理のクローザーを任されたが、ジャイアンツでは38試合に登板して防御率4.91と今一つだった。
消極的事実の証明に関連する法律諺として、「否定する者には、立証責任はない」がある。パウルスは「主張する者は証明を要し、否定する者は要しない」とした。 ディオクレティヌスとマクシミアヌスは「事実を否認する者には、立証義務はない」とした。現在では、法律要件分類説が通説となっている。
「ないことの証明」を、「悪魔の証明」とする使われ方もある。また、証明が困難でないことを『「悪魔の証明」には当たらない』と反論で使うこともある。なお、欧米でも同様の用法が存在する。
権利の存在を推定する規定、いわゆる「法律上の権利推定」の場合、権利の不存在を否定するためには、あらゆる原因による権利の発生原因たる事実が不存在であること、発生した権利が消滅した場合であっても、その後さらにあらゆる原因による権利の発生原因事実が発生していないことを証明しなければならないことになり、権利推定に対する反対の証明について 「悪魔の証明」という。民事訴訟法における推定には事実上の推定と、法律上の推定があるが、このうち法律上の推定とは、ある事実の証明に関して、証明が容易な別個の事実の証明がなされたときに事実が証明されたと認めるべき場合のことである。そして権利の推定に関して、権利推定に対する反証が困難な様子を「悪魔の証明」とする。不動産登記に関して、民法では占有の推定力よりも登記の推定力が優先されるが、この登記の推定力が法律上の推定である場合、推定を覆すには相手方は本証を要し、事実上の推定である場合は、事実の不存在を証明するという反証によって推定を覆すことができる。しかし、過去の権利状態を捨象した現在の権利状態のみが推定されるとされる場合に、相手方が推定を覆すためには、現在にいたるまでいかなる権利取得原因事実も存在しないことを立証せねばならなくなり、仮にある権利消滅原因事実を立証しても、権利喪失後ふたたび権利取得するいかなる原因事実の不存在を証明せねばならなくなり、推定を覆すことが不可能に近くなり、これをいわゆる「悪魔の証明」と呼ぶ。なお、日本の民法学では登記に対して、「悪魔の証明」のような要求をすることになる法律上の権利推定でなく、単に事実上の推定がはたらくにすぎないとする学説もあるが、この学説が適当か考慮を要するとする指摘もある。物権法の分野でも立証の困難という意味で使われている。
フランク・ゲルマン法の不動産訴訟では、原告が占有を侵奪された場合にのみ提起され、被告が所有権の証明責任を負っていたが、被告（現在の占有者）が侵奪でないことを宣誓することで所有権が推定される場合、勝訴できた。また、原告（過去の占有者）が取得権限が被告よりも古い場合は、被告に優先し、これらの証明原則をゲヴェーレの推定力という。
systemdとGNOMEデスクトップ環境との相互運用性を向上させるため、systemdの共著者であるLennart PoetteringはThe GNOME Projectに対し、systemdをGNOME 3.2の外部依存にすることを考慮するよう要請した。2012年11月にThe GNOME Projectは、基本的なGNOME機能はsystemdに依存すべきでないとの結論を出した。しかしGNOME 3.8では当時systemdのみが提供していたlogindと、ConsoleKit APIとのどちらかをコンパイル時に選べるようになった。Ubuntuは独立したlogindを提供したが、ほとんどのLinuxディストリビューションにおいてはsystemdは事実上GNOMEの依存ソフトウェアになった。こうなったのはConsoleKitがもはや保守されている状態ではなく上流ではsystemd-logindの使用を推奨していることが主な理由である。Gentoo Linuxの開発者達もOpenRCをこれらの変化に対応させようとしたが、その実装には多くのバグがあったため、systemdをGNOMEの依存ソフトウェアにした。GNOMEはさらにlogindを統合した。Mutterはバージョン3.13.2現在、Waylandセッションにおいてlogindを依存ソフトウェアとしている。gnome-sessionをsystemdに置き換える計画があるが、systemdはPID 1として実行されないでさらにgnome-sessionはLinux以外のシステムでも利用できるままである。systemdはLinuxカーネルAPIを大量に使うため、Linuxしかサポートせず他のオペレーティングシステムへの移植は容易ではない。このため、OpenBSDのようなLinux以外のオペレーティングシステムは互換APIを提供する必要がある。2014年9月のZDNetのインタビューでセオドア・ツォーは、技術的な課題よりも多いsystemdの中央集権型設計哲学をめぐる議論は、Linux生態系の均一化に向かう危険な一般的傾向の兆候であり、オープンソースコミュニティのあちこちを疎外して排斥することで代替プロジェクトの可能性がほとんど残らなくなるという意見を述べた。この中で彼は標準でない設定に対するThe GNOME Projectの姿勢との類似点を見い出した。後にツォーはソーシャルメディアで、2人の重要な開発者の姿勢とGNOME開発者の姿勢とを比較した。