Theoretical analyses of international environmental agreements (IEAs) have typically employed the concept of self-enforcing agreements to predict the number of parties to such an agreement. The term self-enforcing, however, is a bit misleading. The concept refers to the stability of cooperative agreements, not to enforcing these agreements once they are in place. Most analyses of IEAs simply ignore the issue of enforcing compliance. In this paper we analyze a static IEA game in which parties to an agreement finance an independent enforcement body with the power to monitor the parties' compliance to the terms of an IEA and impose penalties in cases of noncompliance. This approach is broadly consistent with the enforcement mechanism of the Kyoto Protocol under the Marrakesh Accords. We find that costly enforcement limits the circumstances under which international cooperation to protect the environment is worthwhile, but when IEAs are expected to form they will involve greater participation than IEAs that do not require costly enforcement. Consequently, costly enforcement of IEAs is associated with higher international environmental quality. Moreover, under certain conditions, aggregate welfare is higher when IEAs require costly enforcement.