When two parties make a compact, there results to each a power of compelling the other to execute it.
or simply: